upgrade from lion to high Sierra